type A native

type B service interface {}

type C open data record {}

type D data union {}


